Semantics Analysis

Semantics-based Wcet Analysis

An Analysis of the Salīm Heart Semantics: An Approach to Spiritual Health in Holly Quran

Spiritual health has great importance in human life to the extent that in recent years the World Health Organization (WHO) looked with favor on it. Holy Quran has introduced itself as a healing prescription for the human soul. Spiritual health is associated with the keyword of “Heart” in the Quran's literature, and the concepts of sick and healthy hearts have been mentioned in it. In this regar...

Functorial semantics of topological theories

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

Semantics of form oriented analysis

In this thesis we present Form-Oriented Analysis, a new analysis technique for an ubiquitous type of business applications. We define a precise semantic class of applications we call submit/response style applications, under which typical enterprise applications and web applications can be subsumed. Applications in this class are characterized by their type of user interface. The user of a subm...

Probabilistic Semantics and Program Analysis

The aims of these lecture notes are two-fold: (i) we investigate the relation between the operational semantics of probabilistic programming languages and Discrete Time Markov Chains (DTMCs), and (ii) we present a framework for probabilistic program analysis which is inspired by the classical Abstract Interpretation framework by Cousot & Cousot and which we introduced as Probabilistic Abstract ...